../freebsd/bug498317.c